Reliability demonstration for safety-critical systems

Reliability demonstration for safety-critical systems

This paper suggests a new model for reliability demonstration of safety-critical systems, based on the TRW Software Reliability Theory. The paper describes the model; the test equipment required and test strategies based on the various constraints occurring during software development. The paper also compares a new testing method, Single Risk Sequential Testing (SRST), with the standard Probabi...

An optimal statistical testing policy for software reliability demonstration of safety-critical systems

When software reliability demonstration of safety-critical systems by statistical testing is treated as a TAAF (Test, Analyse and Fix) process, an optimal testing policy can be found, which maximises the probability of success of the whole process, over a predetermined period of time. The optimisation problem is formulated, solved by stochastic dynamic programming, and demonstrated by two numer...

Understanding Automotive Reliability and ISO 26262 for Safety Critical Systems

From Safety Integrity Level to Assured Reliability and Resilience Level for Compositional Safety Critical Systems

Safety engineering standards define rigorous and controllable processes for system development. Nevertheless, safety standards differences from distinct domains are non-negligible. We focus in particular on the aviation, automotive and railway standards, all related to the transportation market. We argue that the Safety Integrity Levels are not sufficient to be used as a top level requirement f...

Assessment and Monitoring for Railway Tracks Reliability and Safety using Nondestructive Testing Measurement Systems

The deterioration of railway tracks raises great concerns about the integrity of assessments and evaluations of railway tracks currently in service. Integrated inspection strategies coupled with innovations in inspection technology can lead to significant improvements in operational cost efficiency and reliability without the requirement of a fundamental shift in the existing understanding o...